CORE_WF_THEOREMS 12,41
Wf theorems for definitions introduced
in core_1 theory.  

origin